Issue1614a.agda:5,1-28
Cannot use NO_POSITIVITY_CHECK pragma with safe flag.
